$\forall$$x$,$y$:int\_seg(0; 3). rps($x$; $y$) $\in$ $\mathbb{B}$